Sarre (Land) And NotStefan Thater
List of bibliographic references
Number of relevant bibliographic references: 42.Ident. | Authors (with country if any) | Title |
---|---|---|
001512 | Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne] | Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages |
001527 | Matthias Horbach [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] | Obtaining Finite Local Theory Axiomatizations via Saturation |
002618 | Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Towards Verification of the Pastry Protocol Using TLA + |
003077 | Matthias Daum [Allemagne] ; Norbert W. Schirmer [Allemagne] ; Mareike Schmidt [Allemagne] | From Operating-System Correctness to Pervasively Verified Applications |
003091 | Matthias Horbach [Allemagne] | Disunification for Ultimately Periodic Interpretations |
003114 | Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne] | Automatic Verification of Parametric Specifications with Complex Topologies |
003969 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Deciding the Inductive Validity of ∀ ∃ * Queries |
003970 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Decidability Results for Saturation-Based Model Building |
004301 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Superposition for Fixed Domains |
004D28 | Ernst Althaus [Allemagne] ; Stefan Canzar [France] | A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem |
005464 | Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne] | Integrating Business Processes with Peer-to-Peer Technology |
005595 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
006177 | Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Joachim Niehren [France] | The XDG Grammar Development Kit |
006212 | E. Althaus [Allemagne] ; G. C Linescu [États-Unis] ; I. I. M Ndoiu [États-Unis] ; S. Prasad [États-Unis] ; N. Tchervenski [États-Unis] ; A. Zelikovsky [États-Unis] | Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks |
006226 | François Lamarche [France] ; Lutz Stra Burger [Allemagne] | Naming Proofs in Classical Propositional Logic |
006227 | Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne] | Multi-dimensional Graph Configuration for Natural Language Processing |
006254 | Claus-Peter Wirth [Allemagne] | History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! |
006310 | Markus Löckelt [Allemagne] | Action Planning for Virtual Human Performances |
006377 | Ernst Althaus [France] ; Stefan Funke [Allemagne] ; Sariel Har-Peled [États-Unis] ; Jochen Könemann [Canada] ; Edgar A. Ramos [États-Unis] ; Martin Skutella [Allemagne] | Approximating k-hop minimum-spanning trees |
006B66 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular Proof Systems for Partial Functions with Weak Equality |
006C34 | Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni] | Automatic Generation of Classification Theorems for Finite Algebras |
006C54 | Yevgeny Kazakov [Allemagne] ; Hans De Nivelle [Allemagne] | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards |
007984 | Harald Ganzinger [Allemagne] ; Jürgen Stuber [France] | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation |
008733 | Serge Autexier [Allemagne] ; Dieter Hutter [Allemagne] ; Till Mossakowski [Allemagne] ; Axel Schairer [Allemagne] | The Development Graph Manager Maya |
008748 | Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
008760 | Axel Schairer [Allemagne] ; Dieter Hutter [Allemagne] | Proof Transformations for Evolutionary Formal Software Development |
009E60 | Volker Sorge [Allemagne] | Non-trivial Symbolic Computations in Proof Planning |
009E78 | Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne] | Integrating Constraint Solving into Proof Planning |
009F20 | Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] | Combining Logic and Optimization in Cutting Plane Theory |
00A836 | Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] ; Mark Hartmann [États-Unis] ; Andreas S. Schulz [États-Unis] | On the Chvátal rank of polytopes in the 0/1 cube |
00A860 | G. Delzanno [Allemagne] ; D. Galmiche [France, Allemagne] ; M. Martelli [Italie, Allemagne] | A specification logic for concurrent object-oriented programming |
00A915 | Jürgen Stuber [Allemagne] | Theory Path Orderings |
00AA17 | Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France] | Decidable Fragments of Simultaneous Rigid Reachability |
00B326 | Erica Melis [Allemagne] ; Jean Lieber [France] ; Amedeo Napoli [France] | Reformulation in case-based reasoning |
00B360 | Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [Allemagne] | How to realize LSE narrowing |
00C096 | Sergei Vorobyov [Allemagne] | An improved lower bound for the elementary theories of trees |
00C658 | Rolf Backofen [Allemagne] | A complete axiomatization of a theory with feature and arity constraints |
00CD21 | Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [France] | How to realize LSE narrowing |
00D184 | Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne] | OBSCURE a specification language for abstract data types |
00D209 | Alexander Bockmayr [Allemagne] | Conditional narrowing modulo a set of equations |
00D224 | Alexander Bockmayr [Allemagne] ; Stefan Krischer [France] ; Andreas Werner [Allemagne] | An optimal narrowing strategy for general canonical systems |
00E329 | Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne] | The specification language of OBSCURE |
This area was generated with Dilib version V0.6.33. |